翻訳と辞書 Words near each other ・ Ordination of women in the Anglican Communion ・ Ordination of women in the Anglican Diocese of Sydney ・ Ordination of women in the Church of Scotland ・ Ordination of women in the United Methodist Church ・ Ordine Nero ・ Ordine Nuovo ・ Ordines Romani ・ Ordino ・ Ordinsky District ・ Ordinum Hollandiae ac Westfrisiae pietas ・ Ordis ・ Ordishia ・ Ordishia albofasciata ・ Ordishia cingulata ・ Ordishia fafner ・ Ordinal logic ・ Ordinal notation ・ Ordinal number ・ Ordinal number (linguistics) ・ Ordinal numerical competence ・ Ordinal optimization ・ Ordinal regression ・ Ordinal utility ・ Ordinalia ・ Ordinamenta et consuetudo maris ・ Ordinance ・ Ordinance (Belgium) ・ Ordinance (Christianity) ・ Ordinance (India) ・ Ordinance (Latter Day Saints) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Ordinal logic ： ウィキペディア英語版 Ordinal logic In mathematics, ordinal logic is a logic associated with an ordinal number by recursively adding elements to a sequence of previous logics.〔Solomon Feferman, ''Turing in the Land of O(z)'' in "The universal Turing machine: a half-century survey" by Rolf Herken 1995 ISBN 3-211-82637-8 page 111〕〔''Concise Routledge encyclopedia of philosophy'' 2000 ISBN 0-415-22364-4 page 647〕 The concept was introduced in 1938 by Alan Turing in his PhD dissertation at Princeton in view of Gödel's incompleteness theorems.〔Alan Turing, ''Systems of Logic Based on Ordinals'' Proceedings London Mathematical Society Volumes 2–45, Issue 1, pp. 161–228.()〕〔 While Gödel showed that every system of logic suffers from some form of incompleteness, Turing focused on a method so that from a given system of logic a more complete system may be constructed. By repeating the process a sequence L1, L2, … of logics is obtained, each more complete than the previous one. A logic L can then be constructed in which the provable theorems are the totality of theorems provable with the help of the L1, L2, … etc. Thus Turing showed how one can associate a logic with any constructive ordinal.〔 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ordinal logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.